A Theory of Primitive Objects - Untyped and First-Order Systems
نویسندگان
چکیده
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressiveness of our calculi and the pitfalls that we avoid.
منابع مشابه
A Theory of Primitive Objects
We investigate calculi that support method override in presence of object subsumption. Subsumption is the ability to emulate an object by means of another object that has more refined methods. Override is the ability to modify the behavior of an object, or class, by replacing one of its methods (and inheriting the other methods). At the programming-language level, all common object-oriented lan...
متن کاملSymplectic and symmetric methods for the numerical solution of some mathematical models of celestial objects
In the last years, the theory of numerical methods for system of non-stiff and stiff ordinary differential equations has reached a certain maturity. So, there are many excellent codes which are based on Runge–Kutta methods, linear multistep methods, Obreshkov methods, hybrid methods or general linear methods. Although these methods have good accuracy and desirable stability properties such as A...
متن کاملAn Extended Theory of Primitive Objects: FIrst Order System
We investigate a rst-order extension of the Theory of Primitive Objects of 5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. Th...
متن کاملA Theory of Primitive Objects - Scond-Order Systems
We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types.
متن کاملA Theory of Primitive Objects Second-Order Systems
We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types.
متن کامل